Nuprl Definition : ldst 11,40
destination(l) == (l.2).1 
latex

Definitionst.2, t.1
FDL editor aliasesldst

origin